Analog Circuit Verification: a State of an Art
نویسنده
چکیده
Extending formal verification methodology toward analog circuits is a very challenging task that will occupy researchers for some time. To put this challenge in context we sketch some of the history of digital circuit verification as well as more recent attempts to adapt it to continnuous and hybrid systems.
منابع مشابه
Targeting the Analog Verification Gap: State Space-based Formal Verification Approaches for Analog Circuits
Analog circuit verification lacks systematization and formalization. The major weakness of todays verification flows is their uncertainty about verification coverage. This contribution demonstrates how novel approaches can overcome this coverage problem by considering the complete analog state space for verification. An approach to model checking proves the absence or existence of errors with r...
متن کاملControl Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملAn Analog Mixed-Signal Verification Kit for
The greatest obstacle to a System-on-Chip [SoC] design team’s success is verification. Combining the complexity of digital verification with the increasing integration of larger and more sophisticated analog circuits, the problem is getting exponentially worse. This trend not only presents a challenge to the verification engineers, but to the industry as a whole. If verification of digital sub-...
متن کاملLook up Table Based Low Power Analog Circuit Testing
In this paper, a method of low power analog testing is proposed. In spite of having Oscillation Based Built in Self-Test methodology (OBIST), a look up table based (LUT) low power testing approach has been proposed to find out the faulty circuit and also to sort out the particular fault location in the circuit. In this paper an operational amplifier, which is the basic building block in the ana...
متن کاملTowards Formal Verification of Analog and Mixed-Signal Designs
This paper examines the use of formal verification methods in the analog design process. To apply formal techniques such as model checking we must abstract the analog circuit at the behavioral level, express its behavior as a state transition system while retaining the essential nonlinear properties, and use a verification tool with specifications that represent the desired analog behavior. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 153 شماره
صفحات -
تاریخ انتشار 2006